x86_32: [un]map_domain_page() is now IRQ safe.
authorKeir Fraser <keir.fraser@citrix.com>
Sat, 18 Sep 2010 07:57:15 +0000 (08:57 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Sat, 18 Sep 2010 07:57:15 +0000 (08:57 +0100)
commita11b6c53f6f178978f67a906a54ed6952cd6f048
tree450840e9e3ca2db969e82ea56fe61b1737d032b0
parentdf57b09eb6905672ff6e6060ef85e1f2e34b33eb
x86_32: [un]map_domain_page() is now IRQ safe.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/x86_32/domain_page.c